; TEST-ARGS: -disallow-ub-exploitation

define i8 @src(ptr %p) null_pointer_is_valid {
  %x = load i8, ptr %p
  %q = getelementptr inbounds i8, ptr %p, i64 1
  %v = load i8, ptr %q
  ret i8 %v
}

define i8 @tgt(ptr %p) null_pointer_is_valid {
  %x = load i8, ptr %p
  %q = getelementptr inbounds i8, ptr %p, i64 1
  %v = load i8, ptr %q
  ret i8 %v
}
